Logic in computer science - PDFSEARCH.IO - Document Search Engine

Logic in computer science
Results: 2713

#	Item
681	doi:j.jlap Add to Reading List Source URL: www.ru.is Language: English - Date: 2008-11-21 09:19:56 Theoretical computer science Mathematical logic Applied mathematics Logic Science Logic in computer science Mathematics Bisimulation
682	Introduction to Computing: Explorations in Language, Logic, and Machines Add to Reading List Source URL: www.computingbook.org Language: English - Date: 2011-08-24 08:03:06 Recursion Computability theory Theoretical computer science Function Binomial coefficient Factorial Scheme Fixed-point combinator Lambda calculus Mathematics Combinatorics Integer sequences
683	Report on CSL-LICS 2014 from the Program Committee Chairs Thomas Henzinger (IST, Austria) and Dale Miller (INRIA, France) Vienna, July 2014 Add to Reading List Source URL: eacsl.kahle.ch Language: English - Date: 2014-07-23 09:38:07 Logic in computer science IEEE Symposium on Logic in Computer Science Kleene award Association for Computing Machinery Federated Logic Conference ACM SIGACT Theoretical computer science Computer science Applied mathematics
684	c LISP AND SYMBOLIC COMPUTATION: An International Journal, ?, ??{ ??, Kluwer Academic Publishers { Manufactured in The Netherlands A Veried Compiler for VLISP PreScheme Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:11 Logic in computer science Programming language semantics PreScheme Scheme programming language Compiler construction Denotational semantics Scheme 48 Compiler Operational semantics Software engineering Computing Computer programming
685	A Family History Knowledge Base in OWL 2 Robert Stevens, Nicolas Matentzoglu, Uli Sattler, and Margaret Stevens School of Computer Science, University of Manchester, Manchester (United Kingdom) {robert.stevens\|Ulrike.sat Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2014-08-07 03:53:36 Science Logic Information science Knowledge representation Reasoning Web Ontology Language Description logic Semantic reasoner Abox Semantic Web Information Ontology
686	Common Subexpressions in Constraint Models of Planning Problems Andrea Rendl, Ian Miguel, Ian P. Gent Peter Gregory School of Computer Science, University of St Andrews, UK Add to Reading List Source URL: andrearendl.com Language: English - Date: 2013-08-29 08:25:01 Computer programming Computing Constraint satisfaction Sokoban Common subexpression elimination Logic programming Constraint programming Software engineering Programming paradigms
687	Microsoft PowerPoint - Seshia-Induction-Deduction-DATE13 Add to Reading List Source URL: www.eecs.berkeley.edu Language: English - Date: 2013-03-18 09:59:28 Electronic design automation Theoretical computer science Applied mathematics Temporal logic Logic in computer science Linear temporal logic Uclid Formal verification Logic synthesis Electronic engineering Problem solving Reasoning
688	A Logic for Analysing Subterfuge in Delegation Chains Hongbin Zhou and Simon N. Foley Department of Computer Science, University College Cork, Ireland. {zhou,s.foley}@cs.ucc.ie Add to Reading List Source URL: www.cs.ucc.ie Language: English - Date: 2005-08-04 06:41:57 Simple public key infrastructure PERMIS X.500 Public key certificate Cryptography Public-key cryptography Key management
689	Relaxed Survey Propagation: A Sum-Product Algorithm for Max-SAT Hai Leong Chieu Wee Sun Lee Singapore MIT Alliance Add to Reading List Source URL: www.comp.nus.edu.sg Language: English - Date: 2008-11-06 22:58:52 Applied mathematics Logic in computer science Maximum satisfiability problem MAX-3SAT Belief propagation Conjunctive normal form Local search WalkSAT Local consistency Theoretical computer science Constraint programming Mathematics
690	Contents Foreword xiii Preface Add to Reading List Source URL: www-i2.informatik.rwth-aachen.de Language: English - Date: 2008-04-04 05:03:58 Temporal logic Model checkers Mathematics Model checking Linear temporal logic Computation tree logic PAT Bisimulation Probabilistic bisimulation Theoretical computer science Logic in computer science Applied mathematics

UPDATE